Catalin Hritcu contributed an article on Secure Compilation to the SIGPLAN PL Perspectives blog
Karthikeyan Bhargavan published a paper in Communications of the ACM